L�ufer, Konstantin - Department of Computer Science, Loyola University Chicago

Advanced Search

L�ufer, Konstantin - Department of Computer Science, Loyola University Chicago

A Framework for Tracking Branch Conditions (Extended Abstract)
CALL FOR PAPERS Workshop on Internet Programming Languages
Testing Specifications and Automated Testing of Implementations Marybeth Gurski
On the Interaction of Object-Oriented Design Patterns and Programming Languages
A CompilerBased Approach to Distributing Sequential Programs
Object Oriented Systems 6 (1999), 7392 0969-9767 1999 Chapman & Hall
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Page 1 of 32 Type Classes with Existential Types
A DataParallel Language on Purdue's Adapter for Parallel Execution and Rapid Synchronization
Interactive Web Applications Based on Finite State Machines Konstantin Lufer
Programming with Structures, Functions, and Objects In Proceedings of the XVII. Latin American Informatics Conference PANEL '91, July 1991
References for Some Facets of Prolog as a Metalanguage
NonIntrusive Conservative
A Framework for Higher-Order Functions in C++ Konstantin Lufer
A Comparison of Three Approaches to Transformational Programming
A Model-Driven Approach to Job/Task Composition in Cluster Neeraj Mehta Yogesh Kanitkar Konstantin Laufer
The Extreme Software Development Series: An Open Curricular Framework for Applied Capstone Courses
Page 1 of 7 Self-Interpretation and Reflection in a
Enhancing the CS Curriculum with Aspect-Oriented Software Development (AOSD)
Putting Type Annotations to Work Martin Odersky
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java
Polymorphic Type Inference and Abstract Data Types
Type Classes are Signatures of Abstract Types In Proceedings of the Phoenix Esprit Seminar and
Mockup-Supported Web Requirements Engineering Jia Zhang Konstantin Lufer Zhiguo Gong
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events
Sisl: Several Interfaces, Single Logic Thomas Ballz
An Open Environment for Common Gateway Interface Programming Konstantin Lufer
Using Java in the Undergraduate Computer Science Curriculum
What Functional Programmers can Learn from the Visitor Technical Report, March 2003
An Extension of ML with First-Class Abstract Types In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco, June 1992
Using Handheld and Wireless Technology for Classroom and Community-Based South Asian Language Pedagogy
Page 1 of 29 Polymorphic Type Inference and Abstract Data Types
Automated Systematic Testing for Constraint-Based Interactive Services
Curriculum Vit Konstantin Lufer, PhD